Model-Checking Parameterized Concurrent Programs Using Linear Interfaces